//
//  location.h
//  ltlbmc
//
//  Created by GD Huang on 5/22/12.
//  Copyright (c) 2012 __MyCompanyName__. All rights reserved.
//

#ifndef ltlbmc_location_h
#define ltlbmc_location_h

#include "OCamlObject.h"

namespace cilast {
    
    class location : public OCamlObject {
    public:
        int line;
        char* file;
        int byte;
        
    };
    
}
#endif
